Nuprl Definition : w-eval
11,40
postcript
pdf
val(
e
) == val(act(
e
))
latex
clarification:
w-eval(
w
;
e
) == w-val(
w
; w-act(
w
;
e
))
latex
Definitions
act(
e
)
,
val(
a
)
FDL editor aliases
w-eval
origin